Section: New Software and Platforms

KPASSA

K-Periodic Asap Static Schedule Analyser

Functional Description This software is dedicated to the simulation, analysis, and static scheduling of Event/Marked Graphs, SDF and KRG extensions. A graphical interface allows to edit the Process Networks and their time annotations (latency, ...). Symbolic simulation and graph-theoretic analysis methods allow to compute and optimize static schedules, with best throughputs and minimal buffer sizes. In the case of KRG the (ultimately k-periodic) routing patterns can also be provided and transformed for optimal combination of switching and scheduling when channels are shared. KPASSA also allows for import/export of specific description formats such as UML-MARTE, to and from our other TimeSquare tool.

• Participants: Jean Vivien Millo and Robert De Simone

• Contact: Robert de Simone

• URL: http://www-sop.inria.fr/members/Jean-Vivien.Millo/kpassa/index.php